Opportunistically Parallel Lambda Calculus
dl.acm.org·21h·
Discuss: Hacker News
🌱Minimal Languages
Flag this post
Java Generics and Collections • Maurice Naftalin & Stuart Marks • GOTO 2025
youtube.com·1d
🔗Go Generics
Flag this post
SpiderMonkey Garbage Collector
firefox-source-docs.mozilla.org·2d·
Discuss: Hacker News
🗑️Garbage Collection
Flag this post
Day 12: Transactions & Concurrency - PostgreSQL in 15 Days
dev.to·1d·
Discuss: DEV
📮Persistent Queues
Flag this post
No Cap, This Memory Slaps: Breaking Through the OLTP Memory Wall
danglingpointers.substack.com·1d·
Discuss: Substack
🧠Memory Models
Flag this post
Rust's std and parking_lot mutexes – who wins?
blog.cuongle.dev·1d·
Discuss: Hacker News
🎯Ring Buffers
Flag this post
How Distributed ACID Transactions Work in TiDB
pingcap.com·3h
📮Message Queues
Flag this post
🚀 Go Faster: Cutting the Slack in GC with Smart Memory Allocation
dev.to·2d·
Discuss: DEV
🧠Memory Allocators
Flag this post
Don't give Postgres too much memory
vondra.me·7h·
Discuss: Hacker News
🧠Memory Models
Flag this post
Challenging the Fastest OSS Workflow Engine
obeli.sk·11h·
📡Erlang BEAM
Flag this post
Finding Order in the Mayhem: A Novel Concurrency Testing Tool that Improved the Kotlin Compiler
blog.jetbrains.com·2d·
Discuss: Hacker News
🧪Compiler Testing
Flag this post
Oops, My UUIDs Collided
alexsci.com·1h·
Discuss: Hacker News
🔗Hash Functions
Flag this post
Getting Hardware for an "Always On" Server/Node
stacker.news·10h
🏰Capability Machines
Flag this post
A hitchhiker's guide to CUDA programming
seanzhang.me·1d·
Discuss: Hacker News
🔀SIMD Programming
Flag this post
Infrequent Exploration in Linear Bandits
arxiv.org·16h
🗺️Region Inference
Flag this post
ImapGoose status update: v0.3.2
whynothugo.nl·6h
📮Message Queues
Flag this post
Myths Programmers Believe about CPU Caches
software.rajivprab.com·19h·
Discuss: Hacker News
🧠Memory Models
Flag this post
Update; GUI in C
github.com·6h·
📝Rope Editors
Flag this post
Well-Typed.Com: Case Study: Debugging a Haskell space leak
well-typed.com·20h
📚Stack Allocation
Flag this post
Advances In Formal Verification Technology
semiengineering.com·1d
🧩SAT Solvers
Flag this post